Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
351	L UDOCORE: A Logical Game Engine for Modeling Videogames Adam M. Smith, Mark J. Nelson, and Michael Mateas Abstract— L UDOCORE is a logical “game engine”, linking game rules as reasoned about by game designers to t Add to Reading List Source URL: game.itu.dk Language: English - Date: 2010-08-10 12:41:00 Leisure Mathematical logic Video game development Logic Game design Conceptual model Metaphor Simulation Gameplay The Trace Knowledge representation and reasoning Artificial intelligence
352	Measuring Long Term Organiza1onal Development Measuring Club Success Add to Reading List Source URL: my.ussa.org Language: English - Date: 2016-01-26 12:49:14 Education Evaluation Academia Impact assessment Logic model Program evaluation Educational assessment Theory of change Roger Kaufman
353	SUSTAINING EVIDENCE-BASED PRACTICES SUSTAINING EVIDENCE-BASED PRACTICES Add to Reading List Source URL: www.jrsa.org Language: English - Date: 2016-01-07 10:29:46 Impact assessment Environmentalism Sustainability Program evaluation Logic model Draft:Evidence-based organizations Sustainability organisations
354	Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-05-18 19:37:50 Logic Mathematical logic Model theory Mathematics Formal languages Linear temporal logic Temporal logic Symbol Substitution Interpretation Structure Constructible universe
355	On strong standard completeness of MTLQ ∗ expansions Amanda Vidal1 , Lluis Godo1 , and Francesc Esteva1 Artificial Intelligence Research Institute (IIIA - CSIC), Spain, [amanda][godo][esteva]@iiia.csic.es Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-04 03:55:14 Fuzzy logic Mathematical logic Model theory Metalogic Proof theory Monoidal t-norm logic BL ukasiewicz logic First-order logic Completeness Axiom Metamathematics
356	Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:28 Logic Mathematical logic Abstraction Non-classical logic Model theory Predicate logic First-order logic Intermediate logic Many-valued logic FO Kripke semantics Fuzzy logic
357	Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes Kord Eickmeyer National Inst. of Informatics, Tokyo Add to Reading List Source URL: logic.las.tu-berlin.de Language: English - Date: 2015-06-17 12:07:41
358	Which Kind of Module Should I Extract?? Ulrike Sattler1 , Thomas Schneider1 , and Michael Zakharyaschev2 1 University of Manchester, UK, {sattler,schneider}@cs.man.ac.uk 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2009-07-07 04:46:34 Mathematics Group theory Parity Parity of a permutation Permutations Model theory Elementary class Logic
359	REPORTS IN INFORMATICS ISSN Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2005-09-22 07:33:29 Logic Mathematics Abstraction Model theory Formal languages Metalogic Mathematical logic Interpretation Compactness theorem Well-formed formula Constructible universe IP
360	On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI, Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 14:28:46 Logic Mathematical logic Abstraction Predicate logic Model theory Philosophical logic Modal logic Kripke semantics First-order logic Sheaf FO Well-formed formula

UPDATE